With this release, the entire Verix family of products -- Implied Intent Verification™, Clock Intent Verification™, and Expressed Intent Verification™ -- has received major improvements across the board, including breakthrough performance and capacity increases, functionality and user interface improvements. For typical designs, improvements of 10x in speed and capacity are possible, and many designs which were impossible for any other tools in the marketplace to formally verify, now complete quickly with Verix. SiCortex, a leading developer of high-performance cluster systems, is among the first to use Verix 5.0 in their design flows.

"The complexity of our project and the pressure of our aggressive schedule forced SiCortex to find additional ways to enhance our verification strategy. In parallel with writing functional tests and running as many simulations as possible, we decided to use static formal verification tools," said Oleg Petlin, Director of Verification at SiCortex.

"We evaluated the Verix family, including Implied Intent Verification and Expressed Intent Verification. We were impressed that we found real design bugs in a short time, without creating testbenches or assertions, using Implied Intent Verification. Moreover, with an early version of the Verix 5.0 software, we were able to gain deeper insight into our design using assertions and Expressed Intent. At 400 clock cycles, the depth of analysis was sufficient to prove the correctness of our assertions, and guarantee the circuit works properly. In addition, we learned an important lesson that investing time and money into assertion-based verification pays dividends in both simulation and static formal verification environments. The Verix 5.0 Release and its Convergence Engine is a great step forward in power and utility. We bought Verix based on these results," concluded Petlin.

"With the Verix 5.0 release, we are delivering the broadest formal platform in the industry, with the strongest underlying engine technology," said Prakash Narain, CEO of Real Intent, Inc. "The result is higher verification efficiency. While our products work together in an integrated suite, customers can pick and choose the pieces they want, and get started with exactly the technology combination they will use."

Significant New Capabilities

The core of performance and capacity increases is a proprietary new formal engine, the Convergence Engine. The Convergence Engine has two capabilities that deliver breakthrough performance, Adaptive Orchestration™, and 2-Dimensional Compression™.

--  Adaptive Orchestration is a key new algorithm for deliberating a proof
    between multiple solvers to create a solution in the most optimal manner.
    By creating a dynamic nexus between multiple solvers, the overall proof is
    highly accelerated.
    
--  2-Dimensional Compression is unique technology that combats state
    space explosion by focusing in on a subset of the design to process in two
    ways. The first dimension compresses using the natural hierarchy of the
    design, while the function and connectivity are taken into account for the
    second dimension. This effectively makes the design smaller, and runs
    faster.
    

User Interface Improvements

A completely revamped integration with Debussy, the industry leading debug interface from Novas is now available as an option to 5.0, direct from Real Intent. The integration is much tighter, and specific areas of major improvement are the addition of clock domain coloration in RTL and schematic views, in our Clock Intent Verification tool. Clock domain crossing debugging has never been faster or more powerful.

Verix 5.0 Price & Availability

Verix 5.0 is shipping now. For price information, contact Real Intent.

About SiCortex

SiCortex, based in Maynard, MA, develops and markets cluster systems tuned to the demanding needs of technical computing users for solving large, complex industrial, commercial, and scientific problems. The CEO of SiCortex is High Performance Computing (HPC) industry expert Dr. John Mucci.

About Real Intent's Verix

The Verix family is a set of software verification tools, built upon a single unified database. Verix products utilize the power of formal analysis to verify design assertions and either prove them correct or detect bugs that are hard to find. Verix can detect defects entirely missed with other Register Transfer Level (RTL) verification techniques. A combination of highly optimized formal engines and patented automatic design partitioning gives Verix the industry's largest formal capacity and proof capability. The Verix family includes Expressed Intent Verification (formal assertion based verification), Clock Intent Verification (metastability and hazard detection) and Implied Intent Verification (automatic design verification).

About Real Intent

Real Intent is the leading provider of assertion-based verification (ABV) software and formal technology that solves critical problems encountered by design and verification teams worldwide. Real Intent's software dramatically improves functional verification efficiency for leading edge application-specific integrated circuit (ASIC), system-on-chip (SOC) and Field Programmable Gate Array (FPGA) devices. Over 35 major electronics design houses, including Sun Microsystems, ATI, Agilent Technologies, nVidia, and NEC Electronics, use Real Intent's Verix software.

Founded in 1999, Real Intent is a privately held Electronic Design Automation (EDA) company headquartered in Sunnyvale, CA. For further information, please visit www.realintent.com.

Verix, Convergence Engine, Implied Intent Verification, Expressed Intent Verification, Clock Intent Verification, Adaptive Orchestration, and 2-Dimensional Compression are trademarks of Real Intent Inc. All other trademarks and tradenames are the property of their respective owners.

For more information contact:

Rich Faris
Real Intent Marketing
(408) 830-0700 x212
fax: (408) 737-1962
Email Contact
www.realintent.com

Georgia Marszalek
Valley PR
(650) 345-7477
Email Contact